1. La semantica formale dei linguaggi di programmazione :
Author: Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elaboratori elettronici-- Linguaggi
